финитная аппроксимируемость

См. также в других словарях:

• ФИНИТНО АППРОКСИМИРУЕМАЯ ГРУППА — группа, аппроксимируемая конечными группами. Пусть G группа, отношение (иначе говоря, предикат) между элементами и множествами элементов, определенное на Gи всех ее гомоморфных образах (напр., бинарное отношение равенства элементов, бинарное… …   Математическая энциклопедия

• ФИНИТНО АППРОКСИМИРУЕМАЯ ПОЛУГРУППА — резидуально конечная полугруппа, полугруппа, для любых двух различных элементов аи bк рой существует такой ее гомоморфизм j в конечную полугруппу S, что Свойство полугруппы Sбыть Ф. а. п. эквивалентно тому, что . подпрямое произведение конечных… …   Математическая энциклопедия

• ПОЛУГРУППА С УСЛОВИЕМ КОНЕЧНОСТИ — полугруппа, обладающая нек рым свойством q таким, что всякая конечная полугруппа обладает этим свойством (такое свойство q наз. условием конечности). В определении свойства q могут фигурировать элементы полугруппы, ее подполугруппы и т. п.… …   Математическая энциклопедия

• модальная логика —         МОДАЛЬНАЯ ЛОГИКА раздел логики, посвященный изучению свойств модальных логических операторов типа «необходимо» и «возможно». К модальным операторам сейчас относят большинство операторов, с помощью которых удается учитывать силу (степень)… …   Энциклопедия эпистемологии и философии науки